Abstract machine - PDFSEARCH.IO - Document Search Engine

Abstract machine
Results: 823

#	Item
81	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
82	A deep-network solution towards model-less obstacle avoidance Lei Tai1 , Shaohua Li2 , Ming Liu1,2 Abstract— Obstacle avoidance is the core problem for mobile robots. Its objective is to allow mobile robots to explore Add to Reading List Source URL: ram-lab.com Language: English - Date: 2016-08-03 06:46:08 Computational neuroscience Artificial intelligence Cybernetics Neuroscience Artificial neural networks Formal sciences Machine learning Computer vision Convolutional neural network Deep learning Robotics Pattern recognition
83	Reclaiming the Machine: An Introductory Look at Steampunk in Everyday Practice Rebecca Onion (University of Texas at Austin, USA) Abstract: Steampunk, a multi-textual aesthetic which first began to form in the late 1980s Add to Reading List Source URL: www.rebeccaonion.com Language: English - Date: 2016-02-15 20:05:18 Fiction Science fiction Literature Steampunk Retro style Subcultures Art Nouveau Science fantasy Neo-Victorian Victoriana The Difference Engine Infernal Devices
84	Reducing the Representation Complexity of Lattice-Based Taxonomies Sergei Kuznetsov1,2 , Sergei Obiedkov1,2 , and Camille Roth3,4 1 Higher School of Economics, Moscow, Russia Add to Reading List Source URL: camille.roth.free.fr Language: English - Date: 2007-07-29 16:14:30 Algebra Mathematics Abstract algebra Lattice theory Data mining Formal concept analysis Machine learning Ontology Lie groups Lattice Dual Algebraic structure
85	A Hybrid Hydrostatic Transmission and Human-Safe Haptic Telepresence Robot John P. Whitney1 , Tianyao Chen2 , John Mars3 , and Jessica K. Hodgins4 Abstract— We present a new type of hydrostatic transmission that uses a Add to Reading List Source URL: s3-us-west-1.amazonaws.com Language: English - Date: 2016-05-03 12:25:35 Actuators Mechanical engineering Rotary actuator Engineering Machine Hydraulic Physics Valve Pump Transmission Humanoid robot Robotics
86	Self-organizing map in Matlab: the SOM Toolbox Juha Vesanto, Johan Himberg, Esa Alhoniemi and Juha Parhankangas Laboratory of Computer and Information Science, Helsinki University of Technology, Finland Abstract The Sel Add to Reading List Source URL: www.cis.hut.fi Language: English - Date: 2000-10-09 05:53:25 Software Application software Mathematical software Artificial neural networks Array programming languages Machine learning Dimension reduction Self-organizing map Cross-platform software MATLAB Unsupervised learning U-matrix
87	An Implementation for Fault Tolerance and Experimental Results Frithjof Dau, SAP AG Abstract. Even for small or medium sized contexts, the corresponding concept lattice soon becomes too large to be nicely displayed and u Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:24:30 Algebra Abstract algebra Geometry Lattice theory Lie groups Data mining Formal concept analysis Machine learning Ontology Lattice
88	STRUCTURED DISCRIMINATIVE MODELS USING DEEP NEURAL-NETWORK FEATURES R. C. van Dalen, J. Yang, H. Wang, A. Ragni, C. Zhang, M. J. F. Gales Department of Engineering, University of Cambridge, United Kingdom ABSTRACT State- Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2016-07-12 11:46:12 Markov models Machine learning Artificial intelligence Learning Computational linguistics Speech recognition software Computer accessibility Speech recognition Hidden Markov model Conditional random field Language model Image segmentation
89	Unsupervised Learning with Optimal Kernels Sepp Hochreiter and Klaus Obermayer Technische Universit¨at Berlin Abstract We investigate the optimal kernel for sample-based model selection in unsupervised learning if maxim Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2013-01-23 02:37:15 Machine learning Nonparametric statistics Time series analysis Estimation theory Kernel density estimation Sepp Hochreiter Supervised learning Linux kernel Kernel Estimator
90	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern

UPDATE